6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japón). 11-14 septiembre 2017
Resumen:
We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.
DOI: https://doi.org/10.1007/978-3-662-55665-8_2
Fecha de publicación: 2017-08-24.
Cita:
A. Baltag, A. Occhipinti Liberman, Evidence logics with relational evidence, 6th International Workshop on Logic, Rationality, and Interaction - LORI VI, Sapporo (Japón). 11-14 septiembre 2017.
Debido a las restricciones de copyright existentes, no se puede distribuir este material vía web. Sin embargo, mediante este formulario puede contactar con los autores. Ellos podrán distribuir un número limitado de copias del mismo por correo electrónico. Por favor, comprueba tu carpeta de correo no deseado.
Aviso legal | Política de cookies | Política de Privacidad
Calle de Santa Cruz de Marcenado, 26 - 28015 Madrid, España - Tel: (+34) 91 542 28 00
Utilizamos cookies propias y de terceros para darle funcionalidad a nuestro sitio y mejorar
nuestros servicios, mediante el análisis de sus hábitos de navegación. Acepto las "cookies" de este sitio.
|
|